Probabilistic Power Domains, Information Systems, and Locales
نویسنده
چکیده
The probabilistic power domain construction of Jones and Plotkin 6, 7] is deened by a construction on dcpo's. We present alternative deenitions in terms of information systems a la Vickers 12], and in terms of locales. On continuous domains, all three deenitions coincide.
منابع مشابه
A Probabilistic Approach to Transmission Expansion Planning in Deregulated Power Systems under Uncertainties
Restructuring of power system has faced this industry with numerous uncertainties. As a result, transmission expansion planning (TEP) like many other problems has become a very challenging problem in such systems. Due to these changes, various approaches have been proposed for TEP in the new environment. In this paper a new algorithm for TEP is presented. The method is based on probabilisti...
متن کاملLoad-Frequency Control: a GA based Bayesian Networks Multi-agent System
Bayesian Networks (BN) provides a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks but they have received little attention in the area of load-frequency control (LFC). In practice, LFC systems use proportional-integral controllers. However since these controllers are designed using a linear model, the nonlinearities...
متن کاملProbabilistic Multi Objective Optimal Reactive Power Dispatch Considering Load Uncertainties Using Monte Carlo Simulations
Optimal Reactive Power Dispatch (ORPD) is a multi-variable problem with nonlinear constraints and continuous/discrete decision variables. Due to the stochastic behavior of loads, the ORPD requires a probabilistic mathematical model. In this paper, Monte Carlo Simulation (MCS) is used for modeling of load uncertainties in the ORPD problem. The problem is formulated as a nonlinear constrained mul...
متن کاملInformation Systems for Continuous Posets
The method of information systems is extended from algebraic posets to continuous posets by taking a set of tokens with an ordering that is transitive and interpolative but not necessarily reflexive. This develops results of Raney on completely distributive lattices and of Hoofman on continuous Scott domains, and also generalizes Smyth’s “R-structures”. Various constructions on continuous poset...
متن کاملProbabilistic Optimal Operation of a Smart Grid Including Wind Power Generator Units
This paper presents a probabilistic optimal power flow (POPF) algorithm considering different uncertainties in a smart grid. Different uncertainties such as variation of nodal load, change in system configuration, measuring errors, forecasting errors, and etc. can be considered in the proposed algorithm. By increasing the penetration of the renewable energies in power systems, it is more essent...
متن کامل